Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
221	Quadruple Precision BLAS Routines for GPU QPBLAS-GPU Ver.1.0 User’s Manual July, 2013 Add to Reading List Source URL: ccse.jaea.go.jp Language: English - Date: 2013-08-01 01:54:36 Numerical software Software Graphics hardware Computer arithmetic GPGPU CUDA Quadruple-precision floating-point format Floating point Basic Linear Algebra Subprograms Computing Numerical analysis Numerical linear algebra
222	Computer arithmetic and the MathCW library Nelson H. F. Beebe Research Professor University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Add to Reading List Source URL: www.math.utah.edu - Date: 2014-03-21 08:04:23
223	The Cassowary Linear Arithmetic Constraint Solving Algorithm Greg J. Badros, Alan Borning Dept. of Computer Science and Engineering, University of Washington and Peter Stuckey Add to Reading List Source URL: www.badros.com Language: English - Date: 2000-01-24 13:14:22
224	A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols 1 Sumit Gulwani , George C. Necula Department of Computer Science, UC-Berkeley, Berkeley, CA 94720, USA Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:41
225	Computer Arithmetic Numbers in scientific computing I Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2014-10-21 07:22:22
226	REDUCTION OF THE NUMBER OF COEFFICIENTS IN ARITHMETIC EXPRESSIONS BY AUTOCORRELATION FUNCTIONS Radomir S. Stankovi´c, Mark G. Karpovsky1 , Jaakko T. Astola2 Dept. of Computer Science, Faculty of Electronics, Beogradska Add to Reading List Source URL: ticsp.cs.tut.fi Language: English - Date: 2008-04-02 03:33:42
227	BRICS Basic Research in Computer Science BRICS RSCramer & Damg˚ard: Zero-Knowledge Proofs for Finite Field Arithmetic Zero-Knowledge Proofs for Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-11-26 08:42:39
228	apnum.tex version 1.1 Jan 2015 Arbitrary Precision Numbers Petr Olˇ s´ Add to Reading List Source URL: mirror.unl.edu Language: English - Date: 2015-01-04 10:11:02 Macro programming languages Procedural programming languages Computer arithmetic Source code Cross-platform software C preprocessor Dc Scientific notation Macro Computing Computer programming Software engineering
229	BIL220, Spring 2012 Data Lab: Manipulating Bits Assigned: Feb. 23, Due: Wed., Mar. 8, 23:59PM Ali Caglayan () and Oguzhan Guclu () are the leads for this ass Add to Reading List Source URL: web.cs.hacettepe.edu.tr Language: English - Date: 2012-02-22 10:22:17 Computer arithmetic Data types Procedural programming languages Primitive types C++ C++ classes C ALGOL 68 Printf format string Computing Computer programming Software engineering
230	The binhex.tex package for expansible conversion into binary-based number systems David Kastrup∗ July 22, 2005 Contents Add to Reading List Source URL: mirror.unl.edu Language: English - Date: 2005-07-22 07:32:00 Mathematics Numeral systems Computer arithmetic Data types Primitive types Octal Hexadecimal Binary numeral system BinHex Linguistics Binary arithmetic Computing

UPDATE